翻訳と辞書
Words near each other
・ Emre Balak
・ Emre Batur
・ Emre Bayav
・ Emre Belözoğlu
・ Emre Can
・ Emre Can (chess player)
・ Emre Can Coşkun
・ Emre Elivar
・ Emre Faner
・ Emre Gönensay
・ Emre Gültekin
・ Empty Eyes (1953 film)
・ Empty Eyes (2001 film)
・ Empty forest
・ Empty Fort Strategy
Empty function
・ Empty Garden (Hey Hey Johnny)
・ Empty Glass
・ Empty Hands
・ Empty Hands and Heavy Hearts
・ Empty Heart, Loaded Gun
・ Empty Hills
・ Empty Holsters
・ Empty Homes Agency
・ Empty Houses Are Lonely
・ Empty lattice approximation
・ Empty name
・ Empty Nest
・ Empty nest
・ Empty Nest (film)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Empty function : ウィキペディア英語版
Empty function

In mathematics, an empty function is a function whose domain is the empty set. For each set ''A'', there is exactly one such empty function
:f_A: \varnothing \rightarrow A.
The graph of an empty function is a subset of the Cartesian product . Since the product is empty the only such subset is the empty set ∅. The empty subset is a valid graph since for every ''x'' in the domain ∅ there is a unique ''y'' in the codomain ''A'' such that . This statement is an example of a vacuous truth since there ''is no x in the domain''.
The existence of an empty function from ∅ to ∅ is required to make the category of sets a category, because in a category, each object needs to have an "identity morphism", and only the empty function is the identity on the object ∅.
The existence of a unique empty function from ∅ into each set ''A'' means that the empty set is an initial object in the category of sets. In terms of cardinal arithmetic, it means that for every cardinal number ''k'' – particularly profound when to illustrate the strong statement of indices pertaining to 0.
When defining the term "constant function" precisely, most authors will not care whether or not the empty function qualifies, and will use whatever definition is most convenient. Sometimes, however, it is best not to consider the empty function to be constant, and a definition that makes reference to the range is preferable in those situations. This is much along the same lines of not considering 1 to be a prime number, an empty topological space to be connected, or the trivial group to be simple.
==References==

* Herrlich, Horst and Strecker, George E., ''Category Theory'', Heldermann Verlag (2007).

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Empty function」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.